Smallpox and Bioterrorism: Why the Plan to Protect the Nation Is Stalled and What to Do

The Iraq war is over, no weapons of mass destruction (WMD) have yet been found, and the president's smallpox plan, though sound, is running out of steam. Instead of being well on the way to protecting the nation's civilian population by vaccinating up to 10 million health, emergency, and public safety workers, we are stalled at 37,971 vaccinated civilians while the military has successfully and safely vaccinated more than 450,000 people. Moreover, whether or not WMD are found in Iraq, it is only one of a number of nations on the list of suspects. Of all biological weapons, smallpox has the greatest potential for doing widespread harm. Given that the risk of death or serious harm to anyone from any form of terrorism is very low, we should live our daily lives normally, not in fear. However, to do that we need to be sure that our government is taking effective steps to reduce the chances of terrorism and, when it occurs, to minimize its consequences. Even though there is enough vaccine for everyone, we are ill prepared to rapidly contain smallpox after a bioterrorist release. Although Centers for Disease Control and Prevention (CDC) guidelines have recently improved, they continue to overstate the risk of side effects of the vaccine and erroneously suggest that, after an attack, the techniques used decades ago to eradicate smallpox will work well today. Medicine and public health are very risk-averse professions in our risk-averse culture. We have not yet realized the complexity and difficulty of vaccinating millions of Americans rapidly after an attack. Nor have we come to grips with the need to make rapid, possibly draconian, post-attack decisions based on limited data of uncertain quality. That type of decisionmaking runs counter to the culture of public health. The Bush administration needs to revitalize our preparations for a smallpox bioterrorist event

Dynamic Airspace Configuration

In air traffic management systems, airspace is partitioned into regions in part to distribute the tasks associated with managing air traffic among different systems and people. These regions, as well as the systems and people allocated to each, are changed dynamically so that air traffic can be safely and efficiently managed. It is expected that new air traffic control systems will enable greater flexibility in how airspace is partitioned and how resources are allocated to airspace regions. In this talk, I will begin by providing an overview of some previous work and open questions in Dynamic Airspace Configuration research, which is concerned with how to partition airspace and assign resources to regions of airspace. For example, I will introduce airspace partitioning algorithms based on clustering, integer programming optimization, and computational geometry. I will conclude by discussing the development of a tablet-based tool that is intended to help air traffic controller supervisors configure airspace and controllers in current operations

Structural Synthesis for GXW Specifications

We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a weak-until operator we are able to specify a number of diverse programmable logic control (PLC) problems, which we have compiled from industrial training sets. For GXW controller specifications, we develop a novel approach for synthesizing a set of synchronously communicating actor-based controllers. This synthesis algorithm proceeds by means of recursing over the structure of GXW specifications, and generates a set of dedicated and synchronously communicating sub-controllers according to the formula structure. In a subsequent step, 2QBF constraint solving identifies and tries to resolve potential conflicts between individual GXW specifications. This structural approach to GXW synthesis supports traceability between requirements and the generated control code as mandated by certification regimes for safety-critical software. Synthesis for GXW specifications is in PSPACE compared to 2EXPTIME-completeness of full-fledged LTL synthesis. Indeed our experimental results suggest that GXW synthesis scales well to industrial-sized control synthesis problems with 20 input and output ports and beyond.Comment: The long (including appendix) version being reviewed by CAV'16 program committee. Compared to the submitted version, one author (out of her wish) is moved to the Acknowledgement. (v2) Corrected typos. (v3) Add an additional remark over environment assumption and easy corner case

Voorspelling van de bemestende waarde (N) van runderdrijfmest

Voor de praktijk lijkt het niet langer nodig om voor de voorspelling van de N-opname van grasland uit runderdrijfmest (eerste vier sneden na bemesting) nog gebruik te maken van het gehalte organische N. Het gebruik van minerale N lijkt te volstaan. Wel dient er duidelijk onderscheid gemaakt te worden tussen onvergiste en covergiste drijfmest. De rekenregels in de Bemestingsadviesbasis kunnen op basis van deze informatie aangepast worden